home *** CD-ROM | disk | FTP | other *** search
/ Tech Arsenal 1 / Tech Arsenal (Arsenal Computer).ISO / tek-04 / prolog_2.zip / LOGIC.ZIP / SKOLEM.OPS < prev    next >
Text File  |  1986-11-07  |  384b  |  12 lines
  1. op(30,fx,'~').
  2. op(100,xfy,'#').
  3. op(100,xfy,'&').
  4. op(150,xfy,'->').
  5. op(150,xfy,'<->').
  6. consult(skolem).
  7. translate(all(X,s(X)<->exists(Y,e(X,Y)))).
  8. translate(all(X,h(X)->(exists(Y,m(X,Y)))&(exists(Z,f(X,Z))))).
  9. translate(exists(X,s(X))).
  10. see(user).
  11.  
  12.